Giacobazzi, Roberto: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A bottom-up polymorphic type inference in logic programming

Roberto Barbuti, Roberto Giacobazzi

Journal:

Science of Computer Programming

Year:

1992

Language:

english

File:

PDF, 2.36 MB

english, 1992

2

A general framework for semantics-based bottom-up abstract interpretation of logic programs

Barbuti, Roberto, Giacobazzi, Roberto, Levi, Giorgio

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1993

Language:

english

File:

PDF, 2.85 MB

english, 1993

3

[ACM Press the 19th ACM SIGPLAN-SIGACT symposium - Albuquerque, New Mexico, United States (1992.01.19-1992.01.22)] Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 - Modelling Prolog control

Barbuti, Roberto, Codish, Michael, Giacobazzi, Roberto, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 890 KB

english, 1992

4

Weakening Additivity in Adjoining Closures

Mastroeni, Isabella, Giacobazzi, Roberto

Journal:

Year:

2016

Language:

english

File:

PDF, 417 KB

english, 2016

5

Abstract extensionality: on the properties of incomplete abstract interpretations

Bruni, Roberto, Giacobazzi, Roberto, Gori, Roberta, Garcia-Contreras, Isabel, Pavlovic, Dusko

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

Language:

english

File:

PDF, 448 KB

english, 2019

6

Abstract extensionality: on the properties of incomplete abstract interpretations

Bruni, Roberto, Giacobazzi, Roberto, Gori, Roberta, Garcia-Contreras, Isabel, Pavlovic, Dusko

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

File:

PDF, 448 KB

2019

7

Generalized semantics and abstract interpretation for constraint logic programs

Roberto Giacobazzi, Saumya K Debray, Giorgio Levi

Journal:

The Journal of Logic Programming

Year:

1995

Language:

english

File:

PDF, 3.53 MB

english, 1995

8

What You Lose is What You Leak: Information Leakage in Declassification Policies

Anindya Banerjee, Roberto Giacobazzi, Isabella Mastroeni

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 436 KB

english, 2007

9

Foreword

Roberto Giacobazzi

Journal:

Science of Computer Programming

Year:

2007

Language:

english

File:

PDF, 112 KB

english, 2007

10

Transforming semantics by abstract interpretation

Roberto Giacobazzi, Isabella Mastroeni

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 608 KB

english, 2005

11

Optimal domains for disjunctive abstract interpretation

Roberto Giacobazzi, Francesco Ranzato

Journal:

Science of Computer Programming

Year:

1998

Language:

english

File:

PDF, 2.34 MB

english, 1998

12

The reduced relative power operation on abstract domains

Roberto Giacobazzi, Francesco Ranzato

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 3.71 MB

english, 1999

13

Refining and Compressing Abstract Model Checking

Agostino Dovier, Roberto Giacobazzi, Elisa Quintarelli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 234 KB

english, 2001

14

Correction to "Some properties of complete congruence lattices"

Roberto Giacobazzi, Francesco Ranzato

Journal:

Algebra Universalis

Year:

2002

Language:

english

File:

PDF, 74 KB

english, 2002

15

Abstract interpretation of resolution-based semantics

Patrick Cousot, Radhia Cousot, Roberto Giacobazzi

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 2.02 MB

english, 2009

16

Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements

Roberto Giacobazzi, Francesco Ranzato

Journal:

Information and Computation

Year:

1998

Language:

english

File:

PDF, 1.02 MB

english, 1998

17

Incompleteness of states w.r.t. traces in model checking

Roberto Giacobazzi, Francesco Ranzato

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 434 KB

english, 2006

18

Special issue on Programming Language Interference and Dependence

David Clark, Sebastian Danicic, Roberto Giacobazzi

Journal:

The Journal of Logic and Algebraic Programming

Year:

2007

Language:

english

File:

PDF, 77 KB

english, 2007

19

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7737 || Abstraction of Syntax

Giacobazzi, Roberto, Berdine, Josh, Mastroeni, Isabella

Year:

2013

Language:

english

File:

PDF, 267 KB

english, 2013

20

Toward Digital Asset Protection

Collberg, Christian, Davidson, Jack, Giacobazzi, Roberto, Gu, Yuan Xiang, Herzberg, Amir, Wang, Fei-Yue

Journal:

IEEE Intelligent Systems

Year:

2011

Language:

english

File:

PDF, 1.13 MB

english, 2011

21

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7737 || Static Analysis of String Encoders and Decoders

Giacobazzi, Roberto, Berdine, Josh, Mastroeni, Isabella

Year:

2013

Language:

english

File:

PDF, 368 KB

english, 2013

22

Correctness kernels of abstract interpretations

Giacobazzi, Roberto, Ranzato, Francesco

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 794 KB

english, 2014

23

[ACM Press ACM SIGPLAN - San Diego, CA, USA (2014.01.22-2014.01.24)] Proceedings of ACM SIGPLAN on Program Protection and Reverse Engineering Workshop 2014 - PPREW'14 - Analyzing program dependencies for malware detection

Preda, Mila Dalla, Mastroeni, Isabella, Giacobazzi, Roberto

Year:

2014

Language:

english

File:

PDF, 294 KB

english, 2014

24

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Strong Preservation by Model Deformation

Giacobazzi, Roberto, Mastroeni, Isabella, Nikolic, Durica

Year:

2012

Language:

english

File:

PDF, 344 KB

english, 2012

25

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking

Giacobazzi, Roberto

Year:

2008

Language:

english

File:

PDF, 494 KB

english, 2008

26

The new phylogenesis of the genus Mycobacterium

Tortoli, Enrico, Fedrizzi, Tarcisio, Pecorari, Monica, Giacobazzi, Elisabetta, De Sanctis, Veronica, Bertorelli, Roberto, Grottola, Antonella, Fabio, Anna, Ferretti, Pamela, Di Leva, Francesca, Serpin

Journal:

International Journal of Mycobacteriology

Year:

2015

Language:

english

File:

PDF, 266 KB

english, 2015

27

An abstract interpretation-based model for safety semantics

Mastroeni, Isabella, Giacobazzi, Roberto

Journal:

International Journal of Computer Mathematics

Year:

2011

Language:

english

File:

PDF, 355 KB

english, 2011

28

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Abstract Interpretation in Code Security

Giacobazzi, Roberto

Year:

2008

Language:

english

File:

PDF, 222 KB

english, 2008

29

Foreword: programming language interference and dependence

CLARK, DAVID, GIACOBAZZI, ROBERTO, MU, CHUNYAN

Journal:

Mathematical Structures in Computer Science

Year:

2011

Language:

english

File:

PDF, 188 KB

english, 2011

30

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7737 || Quantifying Information Leakage of Randomized Protocols

Giacobazzi, Roberto, Berdine, Josh, Mastroeni, Isabella

Year:

2013

Language:

english

File:

PDF, 497 KB

english, 2013

31

[Lecture Notes in Computer Science] Static Analysis Volume 3148 || Information Flow Analysis in Logical Form

Giacobazzi, Roberto

Year:

2004

Language:

english

File:

PDF, 243 KB

english, 2004

32

Unveiling metamorphism by abstract interpretation of code properties

Dalla Preda, Mila, Giacobazzi, Roberto, Debray, Saumya

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 917 KB

english, 2015

33

Principles of POPL

Dreyer, Derek, Field, John, Giacobazzi, Roberto, Hicks, Michael, Jagannathan, Suresh, Sagiv, Mooly, Sewell, Peter, Wadler, Phil

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 80 KB

english, 2013

34

[ACM Press the 2nd ACM SIGPLAN international conference - Montreal, Quebec, Canada (2000.09.20-2000.09.23)] Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 - A characterization of symmetric semantics by domain complementation

Giacobazzi, Roberto, Mastroeni, Isabella

Year:

2000

Language:

english

File:

PDF, 396 KB

english, 2000

35

[ACM Press the ACM SIGPLAN 2012 workshop - Philadelphia, Pennsylvania, USA (2012.01.23-2012.01.24)] Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12 - Obfuscation by partial evaluation of distorted interpreters

Giacobazzi, Roberto, Jones, Neil D., Mastroeni, Isabella

Year:

2012

Language:

english

File:

PDF, 762 KB

english, 2012

36

A unifying view of abstract domain design

Filé, Gilberto, Giacobazzi, Roberto, Ranzato, Francesco

Journal:

ACM Computing Surveys

Year:

1996

Language:

english

File:

PDF, 316 KB

english, 1996

37

Complementation in abstract interpretation

Cortesi, Agostino, Filé, Gilberto, Ranzato, Francesco, Giacobazzi, Roberto, Palamidessi, Catuscia

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1997

Language:

english

File:

PDF, 454 KB

english, 1997

38

[ACM Press the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop - Rome, Italy (2013.01.26-2013.01.26)] Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop on - PPREW '13 - Fast location of similar code fragments using semantic 'juice'

Lakhotia, Arun, Preda, Mila Dalla, Giacobazzi, Roberto

Year:

2013

Language:

english

File:

PDF, 187 KB

english, 2013

39

[ACM Press the 16th International Symposium - Canterbury, United Kingdom (2014.09.08-2014.09.10)] Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 - Unveiling and Veiling Information in Programs

Giacobazzi, Roberto

Year:

2014

Language:

english

File:

PDF, 293 KB

english, 2014

40

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Analyzing Program Analyses

Giacobazzi, Roberto, Logozzo, Francesco, Ranzato, Francesco

Year:

2015

Language:

english

File:

PDF, 950 KB

english, 2015

41

A logical model for relational abstract domains

Giacobazzi, Roberto, Scozzari, Francesca

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1998

File:

PDF, 2.58 MB

1998

42

[ACM Press the 1994 ACM symposium - Phoenix, Arizona, United States (1994.03.06-1994.03.08)] Proceedings of the 1994 ACM symposium on Applied computing - SAC '94 - Abstract filters

Chang, Byeong-Mo, Choe, Kwang-Moo, Giacobazzi, Roberto

Year:

1994

Language:

english

File:

PDF, 731 KB

english, 1994

43

Making abstract interpretations complete

Giacobazzi, Roberto, Ranzato, Francesco, Scozzari, Francesca

Journal:

Journal of the ACM

Year:

2000

Language:

english

File:

PDF, 435 KB

english, 2000

44

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - Abstract non-interference

Giacobazzi, Roberto, Mastroeni, Isabella

Year:

2004

Language:

english

File:

PDF, 220 KB

english, 2004

45

[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Compositional analysis of modular logic programs

Codish, Michael, Debray, Saumya K., Giacobazzi, Roberto

Year:

1993

Language:

english

File:

PDF, 1.28 MB

english, 1993

46

Modelling Prolog Control

BARBUTI, ROBERTO, CODISH, MICHAEL, GIACOBAZZI, ROBERTO, LEVI, GIORGIO

Journal:

Journal of Logic and Computation

Year:

1993

Language:

english

File:

PDF, 1.05 MB

english, 1993

47

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Abstract Symbolic Automata

Dalla Preda, Mila, Giacobazzi, Roberto, Lakhotia, Arun, Mastroeni, Isabella

Year:

2015

Language:

english

File:

PDF, 13.79 MB

english, 2015

48

Making abstract domains condensing

Giacobazzi, Roberto, Ranzato, Francesco, Scozzari, Francesca

Journal:

ACM Transactions on Computational Logic

Year:

2005

Language:

english

File:

PDF, 228 KB

english, 2005

49

Analyzing Program Analyses

Giacobazzi, Roberto, Logozzo, Francesco, Ranzato, Francesco

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 950 KB

english, 2015

50

Making abstract models complete

GIACOBAZZI, ROBERTO, MASTROENI, ISABELLA

Journal:

Mathematical Structures in Computer Science

Year:

2016

Language:

english

File:

PDF, 991 KB

english, 2016